منابع مشابه
Another Type System for In-Place Update
Linear typing schemes guarantee single-threadedness and so the soundness of in-place update with respect to a functional semantics. But linear schemes are restrictive in practice, and more restrictive than necessary to guarantee soundness of in-place update. This has prompted research into static analysis and more sophisticated typing disciplines, to determine when in-place update may be safely...
متن کاملAnother place, another timer: Marine species and the rhythms of life
The marine ecosystem is governed by a multitude of environmental cycles, all of which are linked to the periodical recurrence of the sun or the moon. In accordance with these cycles, marine species exhibit a variety of biological rhythms, ranging from circadian and circatidal rhythms to circalunar and seasonal rhythms. However, our current molecular understanding of biological rhythms and clock...
متن کاملKnowledge And Its Use In A Program For Going From One Place To Another
The men ta l p rocesses i n v o l v e d in any human a c t i v i t i e s seem q u i t e complex . C o n s i d e r i n g as an example g o i n g f rom one p l a c e to a n o t h e r , t h i s paper a n a l y z e s men ta l b e h a v i o r i n terms o f t he r e p r e s e n t a t i o n and use of knowledge . We d e s c r i b e a n e t work memory to r e p r e s e n t knowledge, g i v e an accoun ...
متن کاملResources from another place and time: responses to pulses in a spatially subsidized system.
As the theoretical bases for the dynamics of spatially subsidized communities emerge, ecologists question whether spatially subsidized communities exhibit similar structure or dynamics to communities that receive strongly pulsed resources. In both cases, communities may be structured by responses to resources that are potentially absent at any given point in time (pulsed communities) or space (...
متن کاملThe emerging role of PtdIns5P: another signalling phosphoinositide takes its place.
Of the seven phosphoinositides, PtdIns5P remains the most enigmatic. However, recent research has begun to elucidate its physiological functions. It is now clear that PtdIns5P is found in several distinct subcellular locations, and the identification of a number of PtdIns5P-binding proteins points to its involvement in a variety of key processes, including signal transduction, membrane traffick...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Al-Raida Journal
سال: 1970
ISSN: 0259-9953
DOI: 10.32380/alrj.v0i0.179